$\forall$$f$:Top, $T$:Type, $L$:$T$ List, $i$:$\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$$L$$\parallel$}}$. map($f$;$L$)[$i$] $\sim$ ($f$($L$[$i$]))